Gary T. Leavens[1] is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.
He is also the Program Chair for 2009 OOPSLA.